Computability theory - PDFSEARCH.IO - Document Search Engine

Computability theory
Results: 1231

#	Item
761	“Empty Space” Computes: The Evolution of an Unconventional Supercomputer Jonathan W. Mills1 Matt Parker Bryce Himebaugh Add to Reading List Source URL: www.csiir.ornl.gov Language: English - Date: 2010-03-15 16:30:22 Computability theory Analog computer Artificial intelligence Logic in computer science Digital electronics Hypercomputation Computation Fuzzy logic Turing machine Theoretical computer science Applied mathematics Computer science
762	Computer Science Logo Style Beyond Programming Brian Harvey Computer Science Logo Style Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2003-12-25 20:45:48 Applied mathematics Models of computation Computability theory Theory of computation Turing machine Algorithm Programming language Automata theory Finite-state machine Mathematics Theoretical computer science Computer science
763	Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1 Add to Reading List Source URL: ctan.usu.ru Language: English - Date: 2013-08-06 12:14:00 Computability theory Boolean algebra Functions and mappings Lambda calculus Theoretical computer science Monad Boolean data type Function Conditional Mathematics Computing Mathematical logic
764	How to Run Turing Machines on Encrypted Data Shafi Goldwasser? Yael Kalai† Raluca Ada Popa? ./ Vinod Vaikuntanathan Add to Reading List Source URL: web.mit.edu Language: English - Date: 2014-09-26 19:20:42 Turing machine Computability theory Models of computation Alan Turing Homomorphic encryption Computability Advice NTIME EXPTIME Theoretical computer science Applied mathematics Complexity classes
765	Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1 Add to Reading List Source URL: osl.ugr.es Language: English - Date: 2013-08-06 13:14:53 Computability theory Boolean algebra Functions and mappings Lambda calculus Theoretical computer science Monad Boolean data type Function Conditional Mathematics Computing Mathematical logic
766	Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1 Add to Reading List Source URL: ctan.asis.io Language: English - Date: 2013-08-06 13:14:53 Computability theory Boolean algebra Functions and mappings Lambda calculus Theoretical computer science Monad Boolean data type Function Conditional Mathematics Computing Mathematical logic
767	Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1 Add to Reading List Source URL: mirrors.dotsrc.org Language: English - Date: 2013-08-06 13:14:53 Computability theory Boolean algebra Functions and mappings Lambda calculus Theoretical computer science Monad Boolean data type Function Conditional Mathematics Computing Mathematical logic
768	Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1 Add to Reading List Source URL: ftp.ctex.org Language: English - Date: 2013-08-06 12:14:00 Computability theory Boolean algebra Functions and mappings Lambda calculus Theoretical computer science Monad Boolean data type Function Conditional Mathematics Computing Mathematical logic
769	Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1 Add to Reading List Source URL: ftp.eq.uc.pt Language: English - Date: 2013-08-06 12:14:00 Computability theory Boolean algebra Functions and mappings Lambda calculus Theoretical computer science Monad Boolean data type Function Conditional Mathematics Computing Mathematical logic
770	Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1 Add to Reading List Source URL: ctan.uib.no Language: English - Date: 2013-08-06 13:14:53 Computability theory Boolean algebra Functions and mappings Lambda calculus Theoretical computer science Monad Boolean data type Function Conditional Mathematics Computing Mathematical logic

UPDATE